Unified Model - PDFSEARCH.IO - Document Search Engine

Unified Model
Results: 1371

#	Item
51	ProMoBox in Practice : A Case Study on the GISMO Domain-Specific Modelling Language Romuald Deshayes1 , Bart Meyers2 , Tom Mens1 , and Hans Vangheluwe2,3 1 2 Add to Reading List Source URL: ceur-ws.org Language: English - Date: 2014-09-10 09:14:12 Scientific modeling Unified Modeling Language Model checkers Systems engineering Theoretical computer science Metamodeling Model checking Modeling language Domain-specific modeling Linear temporal logic SPIN model checker Domain-specific language
52	Exploiting Communication Concurrency on High Performance Computing Systems Nicholas Chaimov University of Oregon Add to Reading List Source URL: crd.lbl.gov Language: English - Date: 2016-02-03 12:11:21 Parallel computing OpenMP Multi-core processor SPMD Unified Parallel C Remote direct memory access Cray Supercomputer Automatic parallelization Thread Blue Gene Parallel programming model
53	Microsoft Word - Doct_LNCS_20081125_Final.doc Add to Reading List Source URL: melnais.mii.lu.lv Language: English - Date: 2009-04-02 04:59:48 Unified Modeling Language Metamodeling Scientific modeling Software design Object Process Methodology Transformation language MetaEdit+ VIATRA Model-driven architecture Generic Eclipse Modeling System
54	Managing model conflicts in distributed development ? A. Cicchetti, D. Di Ruscio, and A. Pierantonio Universit`a degli Studi dell’Aquila, Dipartimento di Informatica via Vetoio, Coppito I-67010, L’Aquila, Italy {cicc Add to Reading List Source URL: www.mancoosi.org Language: English - Date: 2012-12-16 04:54:55 Unified Modeling Language Metamodeling Scientific modeling Software design Object Process Methodology TRAK ATLAS Transformation Language
55	Autonomous Agents and Multi-Agent Systems manuscript No. (will be inserted by the editor) ASPECS : an Agent-oriented Software Process for Add to Reading List Source URL: www.pa.icar.cnr.it Language: English - Date: 2009-05-21 05:13:09 Holism Networks Scientific modeling Project management Unified Modeling Language Holon Metamodeling Model-driven architecture Holarchy Multi-agent system Software development Modeling language
56	Continuum for Integrating STEM in Teacher Preparation and Induction A collaborative creation of Long Beach Unified School District (LBUSD) & California State University Long Beach (CSULB) Add to Reading List Source URL: teachingcommons.cdl.edu Language: English - Date: 2015-12-11 15:57:27 Science education Education policy Experiential learning Science and technology Science technology engineering and mathematics STEM pipeline Common Core State Standards Initiative English-language learner C-STEM Center Learning Assistant Model
57	Math.Comput.Sci:71–97 DOIs11786y Mathematics in Computer Science Collaborative Verification-Driven Engineering Add to Reading List Source URL: www.utc.ices.cmu.edu Language: English - Date: 2014-10-10 12:15:04 Unified Modeling Language Model-driven architecture Object Management Group Modeling language KeY Hybrid system Model checking Metamodeling Systems Modeling Language Object Process Methodology Formal verification Hybrid automaton
58	DEGAS: Dynamic Global Address Space programming environments Katherine Yelick, Principal Investigator1 Lawrence Berkeley National Laboratory, Berkeley, California Vivek Sarkar, Co-Principal Investigator2 Rice University, Add to Reading List Source URL: crd.lbl.gov Language: English - Date: 2016-04-02 22:06:19 Parallel computing Partitioned global address space Coarray Fortran Unified Parallel C X10 Parallel programming model Multi-core processor PGAS Matrix multiplication algorithm Fortran Distributed computing OpenMP
59	MAST: Modeling and Analysis Suite for Real-Time Systems Universidad de Cantabria Lund, July 2015 www.istr.unican.es Add to Reading List Source URL: www.control.lth.se Language: English - Date: 2015-07-09 04:08:01 Unified Modeling Language Modeling and Analysis of Real Time and Embedded systems Cantabria Profile Conceptual model
60	6 Chapel Bradford L. Chamberlain, Cray Inc. Chapel is an emerging parallel language designed for productive parallel computing at Add to Reading List Source URL: chapel.cray.com Language: English - Date: 2016-05-25 12:23:09 Parallel computing Concurrent programming languages Array programming languages Programming paradigms Object-oriented programming languages Chapel X10 Parallel programming model ZPL Unified Parallel C Fortress Stream processing